logic semantics

[ˈlɔdʒik sɪˈmæntɪks]
  • 释义

    [计]逻辑语义学;

数据更新时间:2026-04-18 08:56:03
1、

Before Montague Grammar, The language shape of logic is studied and studies the range only limited to the artificial language of logic with logic semantics, the logic Pragmatics is basically a blank.

在蒙太格语法以前,逻辑语形学与逻辑语义学研究只限于逻辑人工语言的范围,逻辑语用学则基本处于空白。

互联网摘选

2、

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

互联网摘选

3、

The XYZ/ ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/ E.

对XYZ/E进行扩充,在语言上提供对软件体系结构基本概念的显式支持,并对扩充部分给予严格的形式定义,使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。

互联网摘选

4、

At first, he developed a modal logic semantics, and has achieved notable successes.

起初,他发展了模态逻辑语义学,并取得了引人注目的成就。

互联网摘选

5、

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

互联网摘选

6、

A revisory Kipke semantics weakens Logic Omniscience Problems and remains those reasonable epistemic properties.

在一种修正的可能世界语义学下,削弱了“逻辑全能问题”,幷且保留了那些合理的认知性质.

互联网摘选

7、

And logic syntax and semantics in MLMS are given.

讨论了MLMS的模态逻辑语义和语法。

互联网摘选

8、

Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.

巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

互联网摘选

9、

The key concept in modern logical semantics is" true", in linguistic philosophy as well, so logic semantics and linguistic philosophy are also interlinked.

现代逻辑语义学的核心概念是“真”,语言哲学的核心概念也是真,因此,现在逻辑语义学与语言哲学也是相通的。

互联网摘选

10、

Agent Logic and the True-False Subset Semantics

Agent逻辑和真假子集语义

互联网摘选

11、

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选

12、

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

互联网摘选

13、

According to the theory of logic semantics and culture pragmatics, there exist inter-cultural presupposition and Tran cultural presupposition.

本文根据逻辑语义学理论和文化语用学理论说明在广告语篇中存在着文化内预设和跨文化预设。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

微语录(www.volg.cn)为您提供在线词典、英语翻译、单词大全、英译汉、汉译英等英语服务!可通过lj:关键词格式搜索句子,如lj:affect,搜索affect相关的双语例句!

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈